Model checking: recent improvements and applications

نویسندگان
چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Model Checking Database Applications

We describe the design of DPF, an explicit-state model checker for database-backed web applications. DPF interposes between the program and the database layer, and precisely tracks the effects of queries made to the database. We experimentally explore several implementation choices for the model checker: stateful vs. stateless search, state storage and backtracking strategies, and dynamic parti...

متن کامل

The Principles and Recent Applications of Bioelectrocatalysis

Bioelectrocatalysis is a phenomenon concerned with biological catalysts, which accelerate the electrochemical reactions. Bioelectrocatalysis has been widely explored by the research community in various directions. Enzymes can catalyze different chemical reactions in living organisms by enzymes as the most important biological catalysts. These enzymatic biocatalysts are commercially available a...

متن کامل

Probabilistic Model Checking: Advances and Applications

Probabilistic model checking is a powerful technique for formally verifying quantitative properties of systems that exhibit stochastic behaviour. Such systems are found in many application domains: for example, probabilistic behaviour may arise due to the presence of failures in unreliable hardware, message loss in wireless communication channels, or the use of randomisation in distributed prot...

متن کامل

Model Checking Applications of Aspects and Superimpositions

The model checking of applications of aspects is explained, by showing the stages and proof obligations when a collection of generic aspects (called a superimposition) is combined with a basic program. We assume that both the basic program and the collection of aspects have their own specifications. The Bandera tool for Java programs is used to generate input for model checkers, although any si...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: International Journal on Software Tools for Technology Transfer

سال: 2018

ISSN: 1433-2779,1433-2787

DOI: 10.1007/s10009-018-0501-x